Testing Attribute-Based Transactions in SOC
نویسندگان
چکیده
We set the basis for a theory of testing for distributed transactions in service oriented systems where each service definition is decorated with a transactional attribute (inspired by the Java Transaction API). Transaction attributes discipline how services are executed with respect to the transactional scope of the invoking party. We define a language of observers and show that, in general, the choice of different transactional attributes causes different system’s behaviours wrt the testing equivalences induced by the observers.
منابع مشابه
Identifying the Suspected Cases of Money Laundering in Banking Using Multiple Attribute Decision Making (MADM)
Money laundering is among the most common financial crimes that negatively affect countries' economies and hurt their social and political relations. With the increasing growth of e-banking and the increase in electronic financial transactions, the identification of money laundering methods and behaviors has become more complex; because money launderers, by accessing the Internet and using new ...
متن کاملEmbedded Memory Test Strategies and Repair
The demand of self-testing proportionally increases with memory size in System on Chip (SoC). SoC architecture normally occupies the majority of its area by memories. Due to increase in density of embedded memories, there is a need of self-testing mechanism in SoC design. Therefore, this research study focuses on this problem and introduces a smooth solution for self-testing. In the proposed m...
متن کاملModelling and Experimental Testing of Asymmetric Information Problems in Lease and Hire Contracts (Based on Contract Theory)
This article aims to study lease and hiring contract in the Iranian-Islamic setting and analyze the asymmetric information problem in these contracts. For doing this, we study the characteristics of lease and hiring contracts in Iran (real world experimental characteristics that recognized in other studies), using library method, then we mathematically model different aspects of asymmetric info...
متن کاملA Practical Analog BIST Cooperated with an LSI Tester
This paper proposes a new approach for analog portion testing, which can meet requirements for high-speed and high-accuracy testing simultaneously with reasonable cost. The key concept of the new method is cooperation of an LSI tester and some circuitry built in a target SoC device. We will explain the operation principle of the proposed method. The proposed method can be one of the methods to ...
متن کاملConcurrent Core Testing for SOC Using Merged Test Set and Scan Tree
A novel concurrent core test approach is proposed to reduce the test cost of SOC. Prior to test, the test sets corresponding to cores under test (CUT) are merged by using the proposed merging algorithm to obtain a minimum merged test set. During test, the proposed scan tree architecture is employed to support the concurrent core test using the merged test set. The approach achieves concurrent c...
متن کامل